Vertex-Coloring with Star-Defects

Defective coloring is a variant of traditional vertex-coloring, according to which adjacent vertices are allowed to have the same color, as long as the monochromatic components induced by the corresponding edges have a certain structure. Due to its important applications, as for example in the bipartisation of graphs, this type of coloring has been extensively studied, mainly with respect to the size, degree, and acyclicity of the monochromatic components. In this paper we focus on defective colorings in which the monochromatic components are acyclic and have small diameter, namely, they form stars. For outerplanar graphs, we give a linear-time algorithm to decide if such a defective coloring exists with two colors and, in the positive case, to construct one. Also, we prove that an outerpath (i.e., an outerplanar graph whose weak-dual is a path) always admits such a two-coloring. Finally, we present NP-completeness results for non-planar and planar graphs of bounded degree for the cases of two and three colors

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

We solved a long-outstanding open problem in Ramsey theory, using SAT solving

Reduction in Phencyclidine Induced Sensorimotor Gating Deficits in the Rat Following Increased System Xc − Activity in the Medial Prefrontal Cortex

Rationale: Aspects of schizophrenia, including deficits in sensorimotor gating, have been linked to glutamate dysfunction and/or oxidative stress in the prefrontal cortex. System xc −, a cystine–glutamate antiporter, is a poorly understood mechanism that contributes to both cellular antioxidant capacity and glutamate homeostasis. Objectives: Our goal was to determine whether increased system xc − activity within the prefrontal cortex would normalize a rodent measure of sensorimotor gating. Methods: In situ hybridization was used to map messenger RNA (mRNA) expression of xCT, the active subunit of system xc −, in the prefrontal cortex. Prepulse inhibition was used to measure sensorimotor gating; deficits in prepulse inhibition were produced using phencyclidine (0.3–3 mg/kg, sc). N-Acetylcysteine (10–100 μM) and the system xc − inhibitor (S)-4-carboxyphenylglycine (CPG, 0.5 μM) were used to increase and decrease system xc − activity, respectively. The uptake of 14C-cystine into tissue punches obtained from the prefrontal cortex was used to assay system xc − activity. Results: The expression of xCT mRNA in the prefrontal cortex was most prominent in a lateral band spanning primarily the prelimbic cortex. Although phencyclidine did not alter the uptake of 14C-cystine in prefrontal cortical tissue punches, intraprefrontal cortical infusion of N-acetylcysteine (10–100 μM) significantly reduced phencyclidine- (1.5 mg/kg, sc) induced deficits in prepulse inhibition. N-Acetylcysteine was without effect when coinfused with CPG (0.5 μM), indicating an involvement of system xc −. Conclusions: These results indicate that phencyclidine disrupts sensorimotor gating through system xc − independent mechanisms, but that increasing cystine–glutamate exchange in the prefrontal cortex is sufficient to reduce behavioral deficits produced by phencyclidine

Biabduction (and related problems) in array separation logic

We investigate array separation logic (\mathsf {ASL}), a variant of symbolic-heap separation logic in which the data structures are either pointers or arrays, i.e., contiguous blocks of memory. This logic provides a language for compositional memory safety proofs of array programs. We focus on the biabduction problem for this logic, which has been established as the key to automatic specification inference at the industrial scale. We present an \mathsf {NP} decision procedure for biabduction in \mathsf {ASL}, and we also show that the problem of finding a consistent solution is \mathsf {NP}-hard. Along the way, we study satisfiability and entailment in \mathsf {ASL}, giving decision procedures and complexity bounds for both problems. We show satisfiability to be \mathsf {NP}-complete, and entailment to be decidable with high complexity. The surprising fact that biabduction is simpler than entailment is due to the fact that, as we show, the element of choice over biabduction solutions enables us to dramatically reduce the search space

Risk Factors and Outcomes of Candidemia Caused by Biofilm-Forming Isolates in a Tertiary Care Hospital

Very few data exist on risk factors for developing biofilm-forming Candida bloodstream infection (CBSI) or on variables associated with the outcome of patients treated for this infection. METHODS AND FINDINGS: We identified 207 patients with CBSI, from whom 84 biofilm-forming and 123 non biofilm-forming Candida isolates were recovered. A case-case-control study to identify risk factors and a cohort study to analyze outcomes were conducted. In addition, two sub-groups of case patients were analyzed after matching for age, sex, APACHE III score, and receipt of adequate antifungal therapy. Independent predictors of biofilm-forming CBSI were presence of central venous catheter (odds ratio [OR], 6.44; 95% confidence interval [95% CI], 3.21-12.92) or urinary catheter (OR, 2.40; 95% CI, 1.18-4.91), use of total parenteral nutrition (OR, 5.21; 95% CI, 2.59-10.48), and diabetes mellitus (OR, 4.47; 95% CI, 2.03-9.83). Hospital mortality, post-CBSI hospital length of stay (LOS) (calculated only among survivors), and costs of antifungal therapy were significantly greater among patients infected by biofilm-forming isolates than those infected by non-biofilm-forming isolates. Among biofilm-forming CBSI patients receiving adequate antifungal therapy, those treated with highly active anti-biofilm (HAAB) agents (e.g., caspofungin) had significantly shorter post-CBSI hospital LOS than those treated with non-HAAB antifungal agents (e.g., fluconazole); this difference was confirmed when this analysis was conducted only among survivors. After matching, all the outcomes were still favorable for patients with non-biofilm-forming CBSI. Furthermore, the biofilm-forming CBSI was significantly associated with a matched excess risk for hospital death of 1.77 compared to non-biofilm-forming CBSI. CONCLUSIONS: Our data show that biofilm growth by Candida has an adverse impact on clinical and economic outcomes of CBSI. Of note, better outcomes were seen for those CBSI patients who received HAAB antifungal therapy

On the Complexity of Pointer Arithmetic in Separation Logic

We investigate the complexity consequences of adding pointer arithmetic to separation logic. Specifically, we study an extension of the points-to fragment of symbolic-heap separation logic with sets of simple “difference constraints” of the form where x and y are pointer variables and k is an integer offset. This extension can be considered a practically minimal language for separation logic with pointer arithmetic. Most significantly, we find that, even for this minimal language, polynomial-time decidability is already impossible: satisfiability becomes -complete, while quantifier-free entailment becomes -complete and quantified entailment becomes -complete (where is the second class in the polynomial-time hierarchy). However, the language does satisfy the small model property, meaning that any satisfiable formula has a model, and any invalid entailment has a countermodel, of polynomial size, whereas this property fails when richer forms of arithmetical constraints are permitted

The Early Postnatal Nonhuman Primate Neocortex Contains Self-Renewing Multipotent Neural Progenitor Cells

The postnatal neocortex has traditionally been considered a non-neurogenic region, under non-pathological conditions. A few studies suggest, however, that a small subpopulation of neural cells born during postnatal life can differentiate into neurons that take up residence within the neocortex, implying that postnatal neurogenesis could occur in this region, albeit at a low level. Evidence to support this hypothesis remains controversial while the source of putative neural progenitors responsible for generating new neurons in the postnatal neocortex is unknown. Here we report the identification of self-renewing multipotent neural progenitor cells (NPCs) derived from the postnatal day 14 (PD14) marmoset monkey primary visual cortex (V1, striate cortex). While neuronal maturation within V1 is well advanced by PD14, we observed cells throughout this region that co-expressed Sox2 and Ki67, defining a population of resident proliferating progenitor cells. When cultured at low density in the presence of epidermal growth factor (EGF) and/or fibroblast growth factor 2 (FGF-2), dissociated V1 tissue gave rise to multipotent neurospheres that exhibited the ability to differentiate into neurons, oligodendrocytes and astrocytes. While the capacity to generate neurones and oligodendrocytes was not observed beyond the third passage, astrocyte-restricted neurospheres could be maintained for up to 6 passages. This study provides the first direct evidence for the existence of multipotent NPCs within the postnatal neocortex of the nonhuman primate. The potential contribution of neocortical NPCs to neural repair following injury raises exciting new possibilities for the field of regenerative medicine